301. Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation
پدیدآورنده : Hofri, Micha.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Computer algorithms,، Probabilities
رده :
QA
76
.
6
.
H59
1987
302. Problem solving using Pascal: algorithm development and programming concepts
پدیدآورنده : Skvarcius, Romualdas
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Pascal )Computer program language(,Programming ، Electronic digital computers,، Problem solving,، Algorithms
رده :
QA
76
.
73
.
P2
S58
1984
303. Proceedings Sixth International Conference on Tools With Artificial Intelligence November 6-9, 1994 New Orleans, Louisiana
پدیدآورنده : Sponsored by IEEE Computer Society
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Computer architecture - Congresses , Programming languages )Electronic computers( - Congresses , Algorithms - Congresses
رده :
Q
336
.
I356
1994
304. Product-focused software process improvement :
پدیدآورنده : Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
305. Program verification :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
76
.
V47
P764
2013
306. Programming: The derivation of algorithms
پدیدآورنده : Kaldewaij, Anne
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Algorithms
رده :
QA
76
.
6
.
K3417
1990
307. Programming classics : implementing the world's best algorithms
پدیدآورنده : Oliver, Ian
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers--Programming,، Computer algorithms
رده :
QA
76
.
6
.
O42
1993
308. Programming massively parallel processors :
پدیدآورنده : David B. Kirk and Wen-mei W. Hwu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Mehrprozessorsystem,Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Parallelverarbeitung,Programmierung
رده :
QA76
.
642
309. Programming:the derivation of algorithms
پدیدآورنده : KALDEWAIJ,ANNE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER ALGORITHMS
رده :
QA
76
.
6
.
K3417
1990
310. Provable security :
پدیدآورنده : Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
311. Pyramid algorithms :
پدیدآورنده : Ron Goldman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Geometrical models-- Data processing.,Computer graphics.,COMPUTERS-- Digital Media-- Graphics Applications.,COMPUTERS-- Image Processing.,Geometrical models-- Data processing.,PHOTOGRAPHY-- Techniques-- Digital.,TECHNOLOGY & ENGINEERING-- Imaging Systems.
رده :
T385
.
G6398
2003
312. Python machine learning /
پدیدآورنده : Wei-Meng Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine learning.,Python (Computer program language),COMPUTERS-- Programming Languages-- Python.,Machine learning.,Python (Computer program language)
رده :
QA76
.
73
.
P98
L44
2019eb
313. Quantum computing for computer scientists
پدیدآورنده : Noson S. Yanofsky and Mirco A. Mannucci
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Quantum computers
314. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
315. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
316. Real-time BCI system design to control arduino based speed controllable robot using EEG /
پدیدآورنده : Swagata Das, Devashree Tripathy, Jagdish Lal Raheja.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Arduino (Programmable controller),Brain-computer interfaces.,Arduino (Programmable controller),Brain-computer interfaces.,COMPUTERS-- Programming-- General.
رده :
QP360
.
7
317. Real-world algorithms :
پدیدآورنده : Panos Louridas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Popular works.,Computer programming, Popular works.,Computer algorithms.,Computer programming.
رده :
QA76
.
9
.
A43
L67
2017
318. Reasoning with probabilistic and deterministic graphical models :
پدیدآورنده : Rina Dechter.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Reasoning.,Algorithms.,Bayesian statistical decision theory.,COMPUTERS-- General.,Graphical modeling (Statistics),Machine learning.,Reasoning.
رده :
QA279
.
5
.
D43
2019
319. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
320. Research in computational molecular biology :
پدیدآورنده : edited by Benjamin J. Raphael.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Data mining.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Maths for computer scientists.
رده :
QH324
.
2
.
R43
2018
